#!/bin/bash
x=8000
while [ $x -le 30000 ]
do
  x=$(( $x + 500 ))
  echo "Welcome $x times"
 ./es2.rb ../statistics/ES2\(K\=5\)2010.12.03-01.21.50.txt $x >> res.txt
done
